Survey of smart parking systems

The large number of vehicles constantly seeking access to congested areas in cities means that finding a public parking place is often difficult and causes problems for drivers and citizens alike. In this context, strategies that guide vehicles from one point to another, looking for the most optimal path, are needed. Most contributions in the literature are routing strategies that take into account different criteria to select the optimal route required to find a parking space. This paper aims to identify the types of smart parking systems (SPS) that are available today, as well as investigate the kinds of vehicle detection techniques (VDT) they have and the algorithms or other methods they employ, in order to analyze where the development of these systems is at today. To do this, a survey of 274 publications from January 2012 to December 2019 was conducted. The survey considered four principal features: SPS types reported in the literature, the kinds of VDT used in these SPS, the algorithms or methods they implement, and the stage of development at which they are. Based on a search and extraction of results methodology, this work was able to effectively obtain the current state of the research area. In addition, the exhaustive study of the studies analyzed allowed for a discussion to be established concerning the main difficulties, as well as the gaps and open problems detected for the SPS. The results shown in this study may provide a base for future research on the subject.Fil: Diaz Ogás, Mathias Gabriel. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; ArgentinaFil: Fabregat Gesa, Ramon. Universidad de Girona; EspañaFil: Aciar, Silvana Vanesa. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentin

De los autómatas finitos a las expresiones regulares: un análisis áulico de identificación de expresiones equivalentes

En el presente trabajo se propone una discusión acerca del análisis de expresiones regulares (ER), de estructuras sintácticas diferentes, que surgen a partir de la aplicación de una técnica de conversión de un autómata finito (AF) en dichas ER. Cada ER tiene una forma diferente, y por lo tanto parecen representar a lenguajes diferentes. La propuesta del trabajo es verificar esta diferencia, obteniendo como resultado que estas ER resultan ser equivalentes luego de implementar la minimización de los AF derivados a partir de cada una de ellas. Este análisis y validación surge desde la identificación en el trabajo áulico de la cátedra de Matemática Discreta con alumnos de las carreras de Licenciatura en Ciencias de la Computación y en Licenciatura de Sistemas de Información. Se realizó una experimentación utilizando el software de código abierto JFLAP, que permite sintetizar y relacionar los conceptos teóricos con la identificación práctica de la equivalencia entre las ER trabajadas. Además, se validó dicha equivalencia mediante la aplicación de propiedades algebraicas de las ER, permitiendo obtener el mismo resultado, de que las ER trabajadas son equivalentes a pesar de ser totalmente distintas.Fil: Diaz Ogás, Mathias Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Oliva, Elisa Silvia. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Molina, Ana Laura. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Alonso, Nancy. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaIII Congreso Internacional de Ciencias de la Computación y Sistemas de InformaciónSan Juan; MendozaArgentinaUniversidad de ChampagnatUniversidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturale

Analizando en Matemática Discreta, cuando expresiones regulares son equivalentes

Esta experiencia de cátedra de la asignatura Matemática Discreta, se centra en desarrollar habilidades de razonamiento matemático, sobre propiedades de lenguajes regulares en particular de las expresiones regulares que los representan. Se presenta el trabajo con propiedades algebraicas de las operaciones involucradas en (ER), para discernir si son equivalentes y/o si generan igual lenguaje. Las actividades planteadas hacen que el estudiante pueda cometer errores pero con la ayuda de las herramientas teóricas, pueda discernir que etapa del proceso algebraico debe desandar para corregir la respuesta y así desarrolle las capacidades de autonomía y de autoevaluación permanente, meta a alcanzar en todos los ciclos de la Educación Universitaria, para que el futuro profesional logre aprender a aprender.También se desarrollan competencias digitales en la aplicación del software JFLAP, para vincular ER y autómatas finitos, con lo cual pueden lograr una síntesis entre la teoría y la práctica. El estudio de los lenguajes formales es un campo multidisciplinar dentro de la Informática Teórica, con cimientos como lingüística, matemáticas o electrónica, y ayuda a conocer con mayor profundidad la estructura de los lenguajes de programación.Fil: Oliva, Elisa Silvia. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Molina, Ana Laura. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Diaz Ogás, Mathias Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Alonso, Nancy E.. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Garbi, Gabriel. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaVII Jornadas de Enseñanza de la IngenieríaLa PlataArgentinaUniversidad Tecnológica Nacional. Secretaría de Ciencia, Tecnología y Posgrado. Programa de Tecnología Educativa y Enseñanza de la Ingeniería TEyE

Abordaje de expresiones regulares y sus derivadas mediante la utilización del software JFLAP

Realizar actualización de contenidos e introducir uso de Tecnologías de la Información y la Comunicación (TIC) en asignaturas, es una tarea que impacta: tanto en la calidad de la educación, como en la curiosidad y motivación del alumno, al incluir software en los procesos de aprendizaje.Es proyecto de Matemática Discreta con el uso de JFLAP1: herramienta que permite visualizar gráficamente la construcción de las máquinas de estados finitos; haciendo que el estudiante pueda comprender el funcionamiento de los modelos teóricos incluidos en la asignatura y también, posibilita la autocorrección de ejercicios.La propuesta se sustenta en adicionar al software desarrollos teórico-prácticos que permitan desde las reglas de la gramática del Autómata Finito Determinístico (AFD) y su Expresión Regular (ER), obtener las reglas de la gramática del AFD que corresponde a la derivada de la ER, lo cual permitiría el trabajo de la derivada de la ER con el software, pues no lo aborda entre sus tareas realizables.El desarrollo de algoritmos que generen la gramática del AFD de la derivada de una ER, permitirán la interrelación con JFLAP, potenciando así sus capacidades para dar respuesta a la representación gráfica del AFD de la derivada de una ER.Fil: Oliva, Elisa Silvia. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Diaz Ogás, Mathias Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Molina, Ana Laura. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaFil: Alonso, Nancy E.. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales; ArgentinaXXI Workshop de Investigadores en Ciencias de la ComputaciónSan JuanArgentinaUniversidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y NaturalesRed de Universidades con Carreras de Informátic

New educational scenarios in discreet math working with JFLAP

Las tecnologías de la información y la comunicación (TIC) permiten una mayor interactividad entre docentes y alumnos, y propician el surgimiento de nuevos escenarios para aprender. La humanidad se comunica con lenguajes naturales; y con máquinas a través de lenguajes artificiales. La Informática Teórica, se sustenta en una base matemática derivada del Álgebra. Es uno de los objetivos de la asignatura de Matemática Discreta que los alumnos puedan lograr formalizar nociones relacionadas con matemática y computación, poniendo el acento en el estudio de los lenguajes formales y autómatas. En esta propuesta se compara la construcción del autómata finito determinístico que responde a un cierto lenguaje, realizado a mano y con software Jflap; que “en apariencia” son distintos, pero con intervenciones teóricas se pudo concluir que eran equivalentes.Information and communication technologies (ICT) allow greater interactivity between teachers and students, and promote the emergence of new scenarios for learning. Humanity communicates with natural languages; and with machines through artificial languages. Theoretical Computing is based on a mathematical base derived from Algebra. It is one of the objectives of the subject of Discrete Mathematics that students can formalize notions related to mathematics and computing, emphasizing the study of formal languages and automata. This proposal compares the construction of the deterministic finite automaton that responds to a certain language, made by hand and with Jflap software; that "in appearance" they are different, but with theoretical interventions it was possible to conclude that they were equivalent.Fil: Oliva, Elisa Silvia. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Departamento de Informática; ArgentinaFil: Diaz Ogás, Mathias Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Departamento de Informática; ArgentinaFil: Molina Frias, Ana Laura Clide. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Departamento de Informática; ArgentinaFil: Rueda Alonso, Nancy Estela Alonso. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Departamento de Informática; Argentin